Название проекта

Город

Организация

Автор

1

Экспериментальное и теоретическое моделирование тепловых режимов работы слоев металлизации интегральных микросхем (многослойных тонкопленочных структур на кремнии).

Ульяновск

Ульяновский государственный университет

Скворцов Аркадий Алексеевич

2

Интегрированная среда сквозной совместной разработки программного и аппаратного обеспечения мультипроцессорных систем на кристалле

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

3

РАЗРАБОТКА ЭФФЕКТИВНЫХ ЧИСЛЕННЫХ МЕТОДОВ МОДЕЛИРОВАНИЯ И ОПТИМИЗАЦИИ  СХЕМОТЕХНИЧЕСКИХ РЕШЕНИЙ для СБИС

Киев

Национальный Технический Университет Украины  "Киевский политехнический институт"

Петренко Анатолий Иванович

4

Логический синтез, анализ и оптимизация. Алгоритмы декомпозиции.

Уфа

Уфимский Авиационный Технический Университет (УГАТУ)

Чикуров Николай Георгиевич

5

Среда высокоуровневой разработки аппаратного обеспечения (HLCCAD - High Level Chip Computer-Aided Design)

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

6

Pathfinder ("Следопыт")

Москва

ФРТК МФТИ, м.н.с. НИИ "Вычислительные технологии" (отделение САПР)

Рыженко Николай Владимирович

7

Комплекс для проектирования аппаратных решений, эффективно реализующих сложные алгоритмы обработки данных.

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

8

Универсальный аппаратно-программный комплекс для проектирования и отладки цифровых микропроцессорных систем

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

9

Программный комплекс UNISAN для автоматизации разработки анализаторов текстов, компиляторов, интерпретаторов

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

10

Цели, методы и средства обучения специалистов по разработке встроенных цифровых систем

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

11

Внедрение новых информационных технологий в образовательный процесс

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

12

ИЗУЧЕНИЕ В ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЯХ ВЫСОКОУРОВНЕВЫХ ЯЗЫКОВ ПРОЕКТИРОВАНИЯ МИКРОЭЛЕКТРОННЫХ СИСТЕМ

Минск

Объединенный институт проблем информатики НАН Беларуси

Бибило Петр Николаевич 

13

Система синтеза микропрограммных автоматов

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

14

Интегрированная среда разработки программного обеспечения встроенных мультипроцессорных систем (WInter)

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

15

Комплекс средств автоматической генерации моделей процессоров по описанию ядра и внутренней периферии (GenMod).

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

16

ДЕКОМПОЗИЦИЯ ЗАДАЧИ МИНИМИЗАЦИИ СИСТЕМЫ БУЛЕВЫХ ФУНКЦИЙ

Санкт-Пeтербург

Санкт-Петербургский государственный университет аэрокосмического приборостроения

Лузин Сергей Юрьевич

17

Совместное решение задач размещения и трассировки

Санкт-Пeтербург

Санкт-Петербургский государственный университет аэрокосмического приборостроения

Лузин Сергей Юрьевич

18

Метод выделения в графе максимума клик

Санкт-Пeтербург

Санкт-Петербургский государственный университет аэрокосмического приборостроения

Лузин Сергей Юрьевич

19

Выбор конфигурации соединения компонентов электронных схем

Санкт-Пeтербург

Санкт-Петербургский государственный университет аэрокосмического приборостроения

Лузин Сергей Юрьевич

20

Глобальная минимизация числа межслойных переходов

Санкт-Пeтербург

Санкт-Петербургский государственный университет аэрокосмического приборостроения

Лузин Сергей Юрьевич

21

Алгоритм разбиения графа

Санкт-Пeтербург

Санкт-Петербургский государственный университет аэрокосмического приборостроения

Лузин Сергей Юрьевич

22

Гибкая топологическая трассировка

Санкт-Пeтербург

Санкт-Петербургский государственный университет аэрокосмического приборостроения

Лузин Сергей Юрьевич

23

Разработка системы проектирования печатных плат и СБИС "FreeStyle EDA"

Санкт-Пeтербург

Санкт-Петербургский государственный университет аэрокосмического приборостроения

Лузин Сергей Юрьевич

24

Технология описания моделей микропроцессоров и микроконтроллеров на языках программирования высокого уровня 

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

25

Логическое проектирование дискретных управляющих устройств на основе решения логико-комбинаторных задач

Минск

Объединенный институт проблем информатики  НАН Беларуси

Закревский Аркадий Дмитриевич

26

Проектирование  БИС  с учетом надежности

Воронеж

Воронежский государственный технический университет

Строгонов Андрей Владимирович

27

Экстремальные задачи оптимальной правильной вершинной раскраски графа

Нижний Новгород

Нижегородский государственный университет им. Н. И. Лобачевского (ННГУ)

Старостин Николай Владимирович

28

Новые методы логического синтеза макроблоков БИС

Москва

МГУ

Гуров Сергей Исаевич

29

Разработка генетических алгоритмов и программных средств размещения и трассировки разногабаритных блоков заказных СБИС

Таганрог

Таганрогский государственный радиотехнический университет 

Коноплев Борис Георгиевич

30

Разработка методов и программных средств автоматического синтеза субмикронных статических ОЗУ для систем на кристалле

Таганрог

Таганрогский государственный радиотехнический университет 

Коноплев Борис Георгиевич

31

РАЗРАБОТКА  ИНТРУМЕНТОВ РЕШЕНИЯ ЗАДАЧИ "ВЫПОЛНИМОСТЬ" ДЛЯ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОЦЕССОВ ПРОЕКТИРОВАНИЯ ЛОГИЧЕСКИХ СХЕМ

Минск

 

Новиков Яков Андреевич

32

Технология распределенного моделирования программного и аппаратного обеспечения мультипроцессорных систем на кристалле

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

33

Среда отладки VHDL-описаний аппаратного обеспечения

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

34

Технологическое отображение для полузаказных СБИС

Минск

Объединенный институт проблем информатики  НАН Беларуси

ТОМАШЕВ Валерий Фомич

35

Разработка и исследование методов декомпозиции систем булевых функций на основе покрытий троичных матриц

Минск

Объединенный институт проблем информатики  НАН Беларуси

Поттосин Юрий Васильевич

36

SIGETEST - МОДЕЛИРОВАНИЕ И СИНТЕЗ ТЕСТОВ ДЛЯ СЛОЖНЫХ ЦИФРОВЫХ СИСТЕМ

Харьков

Харьковский национальный университет проектирования радиоэлектроники

Хаханов Владимир Иванович

37

ФУНКЦИОНАЛЬНО-ЛОГИЧЕСКОЕ  ПРОЕКТИРОВАНИЕ  БИС/СБИС  И  УСТРОЙСТВ ЦИФРОВОЙ ЭЛЕКТРОНИКИ

Минск

Белорусский государственный университет

Золоторевич Людмила Андреевна

38

Разработка методов и средств доказательного проектирования алгоритмов функционирования реактивных систем

Киев

Институт кибернетики НАН Украины

Чеботарев Анатолий Николаевич

39

Разработка нового бесконтактного метода оптической диагностики микросхем для временного анализа и верификации с пикосекундным разрешением на основе однофотонного сверхпроводящего детектора ИК-излучения

Москва

Московский педагогический государственный университет

Гольцман Григорий Наумович

40

Декомпозиция и логический синтез булевых функций в базисе произвольных логических элементов

Санкт-Пeтербург

Санкт-Петербургский институт точной механики и оптики (технического университета)

Шалыто Анатолий Абрамович

41

Конфигурируемая синтезируемая модель процессора и ее использование для проектирования мультипроцессорных сиcтем и сетей на кристалле

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

42

МЕТОДОЛОГИЧЕСКОЕ, АЛГОРИТМИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ  АВТОМАТИЗИРОВАННОГО КОНСТРУКТОРСКОГО ПРОЕКТИРОВАНИЯ ИНТЕГРАЛЬНЫХ СХЕМ  БОЛЬШОЙ И СВЕРХБОЛЬШОЙ РАЗМЕРНОСТИ (С МИЛЛИОНАМИ СОСТАВНЫХ БЛОКОВ И  ЭЛЕМЕНТОВ)

Львов

Национальный университет «Львовская политехника»

Базилевич Роман Петрович

43

МЕТОДОЛОГИЧЕСКОЕ, АЛГОРИТМИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ
 ДЕКОМПОЗИЦИИ СИСТЕМ БОЛЬШОЙ И СВЕРХБОЛЬШОЙ РАЗМЕРНОСТИ (С МИЛЛИОНАМИ
 СОСТАВНЫХ БЛОКОВ И ЭЛЕМЕНТОВ)

Львов

Национальный университет «Львовская политехника»

Базилевич Роман Петрович

44

МЕТОДОЛОГИЧЕСКОЕ, АЛГОРИТМИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ СОВМЕСТНОГО РЕШЕНИЯ ЗАДАЧ ТРАССИРОВКИ-РАЗМЕЩЕНИЯ ПРИ АВТОМАТИЗИРОВАННОМ ПРОЕКТИРОВАНИЯ
 ИНТЕГРАЛЬНЫХ СХЕМ

Львов

Национальный университет «Львовская политехника»

Базилевич Роман Петрович

45

Технологически инвариантное проектирование топологии параметризованных фрагментов МОП БИС

Санкт-Пeтербург

Санкт-Петербургский государственный электротехнический университет

Зуев Игорь Станиславович 

46

Структурное и топологическое проектирование регулярных слабосвязанных сетей

Санкт-Пeтербург

Санкт-Петербургский государственный электротехнический университет

Дорогов Александр Юрьевич

47

Оптимизация цифровых схем на основе решения автоматных уравнений

Томск

Томский государственный университет

Нина В. Евтушенко

48

Разработка физико-статистического метода
верификации моделей надежности интегральных схем

Таганрог

Таганрогский государственный радиотехнический университет

Самойленко Анатолий Петрович

49

АЛГОРИТМЫ НА ГРАФАХ

Санкт-Пeтербург

СПБУ

Горьковой Валерий Федорович

50

Разработка комплекса нейросетевых модулей перспек-тивных САПР СБИС

Москва

Центральный научно-исследовательский радиотехнический институт

Галушкин Александр Иванович 

51

Физическая модель полевого нанотранзистора со структурой «кремний на изоляторе» для схемотехнических приложений

Москва

Институт микропроцессорных вычислительных систем РАН

Захаров Сергей Михайлович 

52

ФИЗИЧЕСКИЕ ПАРАМЕТРЫ ПЕРЕХОДНЫХ ПРОЦЕССОВ 
В ЛИНИЯХ СВЯЗИ ИНТЕГРАЛЬНЫХ СХЕМ

Москва

Институт микропроцессорных вычислительных систем РАН

Захаров Сергей Михайлович 

53

Разработать автоматизированную систему послойного восстановления топологии из цветного цифрового фотоизображения  кристалла интегральной схемы

Минск

Объединенный институт проблем информатики  НАН Беларуси

Александр А. Дудкин 

54

Разработка системы имитационного моделирования цифровых интегральных схем D-расширением сетей Петри

Тверь

Тверской государственный технический университет

Веселов Алексей Аркадьевич

55

АЛГОРИТМЫ КОМПОНЕНТНОГО РАЗБИЕНИЯ
В СОВМЕСТНОМ ПРОЕКТИРОВАНИИ АППАРАТНО-ПРОГРАММНЫХ СИСТЕМ

Москва

Московский энергетический институт (МЭИ)

Топорков Виктор Васильевич

56

Структурная теория алгоритмов - аппарат оптимизационного анализа при проектировании ВУ на СБИС или ПЛИС

Москва

ФГУП НИИ “КВАНТ”

Шаповалов Евгений Петрович

57

Автоматическая генерация схем, настраиваемая на высокоуровневые описания устройств

Гомель

Гомельский государственный университет им.Скорины

Долинский Михаил Семенович

58

Процессор для булевых матриц

Минск

Объединенный институт проблем информатики НАН Беларуси

Анатолий Александрович Уткин

59

Синтез отказоустойчивых дискретных систем

Томск

Томский государственный университет

Матросова Анжела Юрьевна

60

Декомпозиция булевых функций в предэлементарных базисных множествах

Иркутск

Иркутский государственный педагогический университет

Перязев Николай Алексеевич

61

Алгоритм совместного решения задач размещения ячеек и глобальной трассировки топологии СБИС методом иерархической декомпозиции в среде распределенных вычислений.

Пенза

Пензенский Государственный Университет

Бершадский  Александр Моисеевич 

62

Эволюционные  методы построения проверяющих тестов цифровых СБИС высокой степени интеграции

Донецк

Институт прикладной математики и механики Национальной академии наук Украины 

Скобцов Юрий Александрович 

63

Разработка теоретических основ, методов и алгоритмов синтеза запоминающих устройств с встроенными средствами тестирования, диагностики и реконфигурации

Минск

БГУИР

В.Н. Ярмолик

64

Нетрадиционные алгоритмы принятия решений в задачах дискретной оптимизации

Ульяновск

Ульяновский государственный университет (УлГУ)

Борис Феликсович Мельников

65

 

Волгоград

Волгоградский государственный технический университет

Костерин В.В.

66

СОЗДАНИЕ ИНТЕГРИРОВАННОЙ САПР ПЕЧАТНЫХ УЗЛОВ НА БАЗЕ ИНТЕГРАЛЬНЫХ СХЕМ С ИСПОЛЬЗОВАНИЕМ КОМПЛЕКСНОГО МОДЕЛИРОВАНИЯ ФИЗИЧЕСКИХ ПРОЦЕССОВ

Ковров Владимир-ской области

Ковровская государственная технологическая академия

Шалумов Александр Славович 

67

Программный комплекс ZUBR проектирования цифровых систем на основе СБИС

Минск

 

Соловьев Валерий Васильевич

68

UnitWalk, вероятностный алгоритм для задачи булевой выполнимости, в применении к формальной верификации моделей

Санкт-Пeтербург

Санкт-Петербургский государственный университета

Кожевников Арист Александрович

69

СИСТЕМА АНАЛИЗА И ФОРМАЛЬНОГО СИНТЕЗА ЦИФРОВЫХ СХЕМ, ПРОЕКТИРУЕМЫХ НА ЯЗЫКЕ VERILOG HDL

Москва

Московский Государственный Институт Электроники и Математики 

Ерохин Владимир Васильевич

70

ЭФФЕКТИВНЫЕ АЛГОРИТМЫ НАХОЖДЕНИЯ ВСЕХ КРАТЧАЙШИХ ПОКРЫТИЙ БУЛЕВОЙ МАТРИЦЫ БОЛЬШОЙ РАЗМЕРНОСТИ – ОСНОВА АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ И ПЕРЕПРОЕКТИРОВАНИЯ ИНТЕГРАЛЬНЫХ СХЕМ

Томск

лаборатория интеллектуальных систем

Янковская Анна Ефимовна

71

АЛГОРИТМЫ СПУСКА – ОСНОВА ОПТИМИЗАЦИОННЫХ АЛГОРИТМОВ В ОБЛАСТИ АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ И ПЕРЕПРОЕКТИРОВАНИЯ УСТРОЙСТВ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ

Томск

лаборатория интеллектуальных систем

Янковская Анна Ефимовна

72

СУБОПТИМАЛЬНЫЙ СКВОЗНОЙ ЛОГИЧЕСКИЙ СИНТЕЗ УСТРОЙСТВ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ

Томск

лаборатория интеллектуальных систем

Янковская Анна Ефимовна

73

«СОКРАТ» - СИСТЕМА СКВОЗНОГО ПРОЕКТИРОВАНИЯ ТОПОЛОГИИ ПОЛУЗАКАЗНЫХ БИС

Москва

МИЭТ

Бутов Александр Стефанович

74

Верификация взаимодействующих временных автоматов

Санкт-Пeтербург

Санкт-Петербургский Политехнический Университет

Карпов Юрий Глебович 

75

Проектирование интегральных схем на основе эволюционных вероятностных моделей

Таганрог

Таганрогский государственный радиотехнический университет 

Зинченко Л. А.

76

ЛОГИЧЕСКИЙ АНАЛИЗ ДИНАМИЧЕСКИХ ПРОЦЕССОВ В
ДИСКРЕТНЫХ СИСТЕМАХ ПРИ НАЛИЧИИ НЕОПРЕДЕЛЕННОСТИ

Пенза

 

Левин Виталий Ильич

77

ПРОГРАММНЫЙ КОМПЛЕКС ДЛЯ МОДЕЛИРОВАНИЯ И ОТЛАДКИ ИНФОРМАЦИОННО – УПРАВЛЯЮЩИХ СИСТЕМ

 

Чувашский государственный университет имени И.Н. Ульянова

Гильденберг Борис Моисеевич 

78

Исследование и разработка методов эволюционной адаптации для решения задачи компоновки СБИС

Таганрог

Таганрогский государственный радиотехнический университет 

Курейчик Виктор Михайлович 

79

Исследование и разработка методов эволюционной адаптации для решения задачи глобальной трассировки

Таганрог

Таганрогский государственный радиотехнический университет 

Лебедев Борис Константинович  

80

АЛГОРИТМЫ ВЫДЕЛЕНИЯ ЯДЕР В НЕЧЕТКИХ ГРАФАХ НА ОСНОВЕ МОДЕЛИРОВАНИЯ ЭВОЛЮЦИИ

Таганрог

Таганрогский государственный радиотехнический университет 

Гладков Леонид Анатольевич

81

Методы логического синтеза, декомпозиции булевых функций и вложения графов для оптимизации сквозного проектирования СБИС

Москва

Московский Государственный Университет им. М.В. Ломоносова

Ложкин Сергей Андреевич

82

Вычислительный алгоритм экстракции резистивных импедансов нерегулярных планарных структур и его реализация

Москва

Московский Государственный Университет им. М.В. Ломоносова

Хапаев Михаил Михайлович 

83

МЕТОДИКА СТРУКТУРНОГО ПРОЕКТИРОВАНИЯ ИНТЕГРАЛЬНЫХ НЕЙРОСЕТЕЙ

Москва

Московский инженерно-физический институт 

Алюшин Александр Васильевич

84

Метод синтеза архитектур программно-технических комплексов (ПТК) и программная реализация алгоритма трассировки соединений между элементами на основе топологической  модели схем.

Москва

Институт проблем управления РАН

Артамонов Евгений Иванович